s:LOSet. Connex(|s|;x,y.x  y) 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet, POSet{i}, LOSet
Definitions	True, T, x,y. t(x;y), t  T, x:A. B(x), DSet, QOSet, x(s1,s2), P  Q, SqStable(P), POSet{i}, LOSet
Lemmas	loset wf, decidable set leq, set leq wf, set car wf, sq stable connex